Natal, Rio Grande do Norte

Results: 78



#Item
11

Quantier Inference Rules for SMT proofs∗ David Deharbe Universidade Federal do Rio Grande do Norte, Natal, Brazil

Add to Reading List

Source URL: www.montefiore.ulg.ac.be

Language: English - Date: 2011-07-11 06:21:04
    12

    Integration of SMT-Solvers in B and Event-B Development Environments David D´eharbe Universidade Federal do Rio Grande do Norte Departamento de Inform´atica e Matem´atica Aplicada Natal, RN, Brazil

    Add to Reading List

    Source URL: www.verit-solver.org

    Language: English - Date: 2015-06-10 09:33:21
      13

      Exploiting symmetry in SMT problems David D´eharbe1 , Pascal Fontaine2 , Stephan Merz2 , and Bruno Woltzenlogel Paleo3? 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

      Add to Reading List

      Source URL: www.verit-solver.org

      Language: English - Date: 2015-06-10 09:33:21
        14

        Exploiting symmetry in SMT problems David D´eharbe1 , Pascal Fontaine2 , Stephan Merz2 , and Bruno Woltzenlogel Paleo3? 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

        Add to Reading List

        Source URL: www.montefiore.ulg.ac.be

        Language: English - Date: 2011-07-11 05:58:16
          15

          Extending Smt-Lib v2 with λ-Terms and Polymorphism Richard Bonichon, David D´eharbe, and Cl´audia Tavares Universidade Federal do Rio Grande do Norte Natal, Brazil , , claudia@p

          Add to Reading List

          Source URL: www.verit-solver.org

          Language: English - Date: 2015-06-10 09:33:21
            16

            Quantifier Inference Rules for SMT proofs∗ David Deharbe Universidade Federal do Rio Grande do Norte, Natal, Brazil Pascal Fontaine

            Add to Reading List

            Source URL: pxtp2011.loria.fr

            Language: English - Date: 2011-08-12 05:51:25
              17

              Exploiting symmetry in SMT problems David D´eharbe1 , Pascal Fontaine2 , Stephan Merz2 , and Bruno Woltzenlogel Paleo3? 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

              Add to Reading List

              Source URL: www.montefiore.ulg.ac.be

              Language: English - Date: 2011-07-11 05:58:14
                18

                Quantier Inference Rules for SMT proofs∗ David Deharbe Universidade Federal do Rio Grande do Norte, Natal, Brazil

                Add to Reading List

                Source URL: www.montefiore.ulg.ac.be

                Language: English - Date: 2011-07-11 06:21:04
                  19

                  Exploiting symmetry in SMT problems David D´eharbe1 , Pascal Fontaine2 , Stephan Merz2 , and Bruno Woltzenlogel Paleo3? 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

                  Add to Reading List

                  Source URL: www.montefiore.ulg.ac.be

                  Language: English - Date: 2011-07-11 05:58:16
                    20

                    veriT: an open, trustable and efficient SMT-solver Thomas Bouton2 , Diego Caminha B. de Oliveira2 , David D´eharbe1 , and Pascal Fontaine2 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

                    Add to Reading List

                    Source URL: www.montefiore.ulg.ac.be

                    Language: English - Date: 2009-07-30 08:28:54
                      UPDATE